From 492e2246ed5456c65dd2738e48711c8a403a54cb Mon Sep 17 00:00:00 2001 From: Juanma Barranquero Date: Sat, 18 Nov 2006 15:23:21 +0000 Subject: [PATCH] (emacs.dvi): Remove xresmini.texi. --- man/makefile.w32-in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/man/makefile.w32-in b/man/makefile.w32-in index 613151f7ff5..f47c57158fc 100644 --- a/man/makefile.w32-in +++ b/man/makefile.w32-in @@ -147,7 +147,7 @@ info.dvi: $(INFOSOURCES) $(infodir)/emacs: $(EMACSSOURCES) $(MAKEINFO) emacs.texi -emacs.dvi: $(EMACSSOURCES) $(srcdir)/xresmini.texi +emacs.dvi: $(EMACSSOURCES) $(ENVADD) $(TEXI2DVI) $(srcdir)/emacs.texi # This target is here so you could easily get the list of the *.texi -- 2.30.2